🔢 Type Theory - c13e · Scour

applications of (higher) category theory in nLab 🔣Category Theory

ncatlab.org·4d

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 📐Formal Methods

std::tuple::tuple (3) Linux Manual Page 🔵Lisp

systutorials.com·30m

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. λFunctional Programming

github.com·19h·Hacker News

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🐫OCaml

pocketcasts.com·2d·Hacker News

Strange-tech Worldbuilding: Dominoes Of Sloppy Thought Pt 1: Campaign Mastery 🖥️History of Computing

campaignmastery.com·23h

No, Even JavaScript Has Types λFunctional Programming

I built a free TypeScript quiz website with 125 questions and levels 🔤New Languages

ts-quiz.com·2h·DEV

Blessed Syntax and Ergonomics λFunctional Programming

gingerbill.org·1d·Lobsters, Hacker News, r/programming

AI Coding Agents Guide: A Map of the Four Workflow Types 🤖AI Engineering

realpython.com·23h

Machiavellianism, level of personality functioning, and maladaptive personality traits: mediation analyses in a clinical sample 🗃️PKM

frontiersin.org·7h

Anytype is getting renamed to anyval (!) λFunctional Programming

Inheritance Systems 🧬Cognitive Neuroscience

plato.stanford.edu·4d

Telomere-to-telomere genome assembly of the wood tiger moth Arctia plantaginis 🔁Spaced Repetition

Like It or Not — Recommender Systems Lack a Coherent Normative Foundation 🔣Category Theory

philsci-archive.pitt.edu·1d

Who Do People Think They Are? 🧬Cognitive Neuroscience

psychologytoday.com·21h

Eleven types of cancer are on the rise in England’s under 50s – these factors might explain the trend 🥗Nutrition

theconversation.com·1h

Java sealed classes and exhaustive pattern matching λFunctional Programming

neilmadden.blog·6d

Probabilistic punishment proportional to the payoff difference solves the problem of antisocial punishment 🗃️PKM

comdig.cssociety.org·22h

SAP ABAP Tutorial Complete Guide for Beginners ⚙️Compiler Design

Log in to enable infinite scrolling